failure 23:

Requirement failed: {hypotl.08} both arguments are subnormal and the correct result is subnormal

location
trace	/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_exp_scenario.utz (math_exp_scenario.utt), line 17979
occurence
scenario	math_exp_scenario
specification function	hypot_spec()
parameter value	CallContext context = [pid=14267,thr=b755b6c0]
parameter value	Unifloat * @x = (long double) -3.6451995318824746025284059336194198e-4951 (-0x.8000000000000000P-16444L)
parameter value	Unifloat * x = (long double) -3.6451995318824746025284059336194198e-4951 (-0x.8000000000000000P-16444L)
parameter value	Unifloat * @y = (long double) -3.6451995318824746025284059336194198e-4951 (-0x.8000000000000000P-16444L)
parameter value	Unifloat * y = (long double) -3.6451995318824746025284059336194198e-4951 (-0x.8000000000000000P-16444L)
parameter value	ErrorCode * @errno = EOK
parameter value	ErrorCode * errno = ERANGE
return value	(Unifloat *) (long double) Infinity
coverage & branch	C x is Normal, y is Normal
properties
REQ failed	hypotl.08
expected value	(long double) 3.6451995318824746025284059336194198e-4951 (0x.8000000000000000P-16444L)
kind	POSTCONDITION_FAILED

similar known bug(s)
The hypotl() function shall compute the value of the square root of x^2+ y^2 without undue overflow or underflow. According to LSB, if both arguments are subnormal and the correct result is subnormal, a range error may occur and the correct result is returned. But on the target machine the function returns Inf instead of correct subnormal result on both subnormal arguments.